退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:SAFEPOWER项目:安全高效的混合关键系统的体系结构
Maher Fakih; Alina Lenz; Mikel Azkarate-Askasua; Javier Coronel; Alfons Crespo; Simon Davidmann; Juan Carlos Diaz Garcia; Nera González Romero; Kim Grüttner; Sören Schreiner; Razi Seyyedi; Roman Obermaisser; Adele Maleki; Johnny Öberg; Mohamed Tagelsir Mohammadat; Jon Pérez-Cerrolaza; Ingo Sander; Ingemar Söderquist;
机译:ærø:混合关键空气传播系统的平台架构
机译:用于在多核平台中开发混合关键系统的分布式体系结构
机译:对高性能,节能和安全的多处理器系统的体系结构支持。
机译:将基于知识的现代系统架构与旧版VA数据库相集成:斯坦福大学的ATHENA和EON项目。
机译:用于在设施中的安全仪表系统的安全仪表系统体系结构的软件中建立,分析和管理安全仪表模型的方法
机译:用于使用安全性的安全架构的通信系统安全管理
机译:用于创建和使用测试计划的系统,该计划可用于验证设施中安全仪表系统的安全仪表系统体系结构的软件中的真实世界模型
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。